2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Hugo Grotius As Apologist for the Christian Religion: A Study of His Work De Veritate Religionis Christianae, 1640 (Studies in the History of Christian Thought)
Jan-Paul Heering
1.40 Mb
#2
Hugo Grotius as Apologist for the Christian Religion. A Study of his Work De veritate religionis christianae (1640)
Jan-Paul Heering
1.22 Mb
#3
Algebraic and Logic Programming 6 conf., ALP '97 - HOA '97
Michael Hanus
,
Jan Heering
,
Karl Meinke
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.60 Mb
#4
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Jan Heering
,
Karl Meinke
,
Bernhard Möller
,
Tobias Nipkow
2.66 Mb
#5
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Gilles Dowek
,
Jan Heering
,
Karl Meinke
,
Bernhard Möller
2.40 Mb
#6
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Michael Hanus
,
Jan Heering
,
Karl Meinke
18.80 Mb